upto($n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $n$=$_{2}$0$\rightarrow$ nil else upto($n$$-$1) @ [$n$$-$1] fi  \emph{(recursive)}